Section: Partnerships and Cooperations

International Initiatives

BANANAS (2012-2014) (http://www.loria.fr/~ringeiss/CHILI/bananas ) — Automated design and autonomous control of hybrid solver cooperations. In order to tackle large scale instances and intricate problem structures, sophisticated solving techniques have been developed, combined, and hybridized to provide efficient solvers. A common idea to get more efficient and robust algorithms consists in combining several resolution paradigms in order to take advantage of their respective assets. Autonomous Search is a very attractive approach for designing adaptive systems with the capability of improving its solving performance by selecting and adapting its search strategies to the problem at hand. The main goal of the project is to apply the Autonomous Search approach to hybrid solver cooperations, by automating the selection and the cooperation of solvers, by tuning the cooperation parameters, and by adapting the cooperation during solving. The international partners are Technical University Federico Santa Maria, Valparaíso (Chile) — Department of Computer Science — Carlos Castro and Eric Monfroy; University of Chile (Chile) — Center for Mathematical Modeling — Jorge Amaya. The Inria principal investigator is Christophe Ringeissen.

• Collaboration with Bogdan Warinschi (Bristol University) on defining game-based privacy for e-voting protocols.

• Collaboration with Myrto Arapinis (University of Edinburgh) on simplification results for the formal analysis of e-voting protocols.

• Collaboration with Matteo Maffei (CISPA, Germany) on type systems for e-voting systems.

• Collaboration with Paliath Narendran's group (SUNY Albany) on automated deduction.

• Collaboration with Hanifa Boucheneb's group (Ecole Polytechnique de Montréal) on model-checking of collaborative systems.

• Collaboration with John Mullins's group (Ecole Polytechnique de Montréal) on information hiding.